type t =
    #foo ([2]i32)
  | #bar ([2]i32) ([2]i32)

def main (x: t) (y: i32) = 2
